#ifndef __SHUTDOWN_HPP__
#define __SHUTDOWN_HPP__
#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>

#include "../support/Threading.hpp"

#include "SWARMTask.hpp"
#include "SWARMTaskTag.hpp"
#include "SWARMTaskTagWrapper.hpp"
#include "Externs.hpp"

#include <swarm/type_setup.h>
#include <swarm/Locale.h>
#include <swarm/Latch.h>
#include <swarm/Bool.h>
#include <swarm/Runtime.h>
#include <swarm/Resource.h>
#include <swarm/Scheduler.h>
#include <swarm/Env.h>
#include <swarm/Identifiable.h>
#include <swarm/util/atomic.h>
// #include <swarm/Nat64.h>
#include <swarm/TagTable.h>
#include <eti/tracing.h>
#include <eti/swarm_convenience.h>

#endif // __SHUTDOWN_HPP__
